<=> |
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO City)) (postCity ?PLACE ?GEO)) |
Mid-level-ontology.kif 24820-24825 | PostalPlace 是 located 在 城市 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 城市 是 城市 的 instance 若且唯若 那个 PostalPlace 是在 那个 城市 |
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO Neighborhood)) (postNeighborhood ?PLACE ?GEO)) |
Mid-level-ontology.kif 24733-24738 | PostalPlace 是 located 在 Neighborhood 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 Neighborhood 是 Neighborhood 的 instance 若且唯若 那个 PostalPlace 是在 那个 Neighborhood |
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO StateOrProvince)) (postDistrict ?PLACE ?GEO)) |
Mid-level-ontology.kif 24804-24809 | PostalPlace 是 located 在 州或省 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 州或省 是 州或省 的 instance 若且唯若 那个 PostalPlace 是在 那个 州或省 |
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (or (instance ?GEO Nation) (instance ?GEO DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?GEO)) |
Mid-level-ontology.kif 24770-24777 | PostalPlace 是 located 在 地缘政治区域 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 地缘政治区域 是 国家 的 instance 或 那个 地缘政治区域 是 依赖或特殊主权领域 的 instance 若且唯若 那个 PostalPlace 是在 那个 地缘政治区域 |
(<=> (annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (annualExpendituresOfArea ?AREA ?AMOUNT))))) |
Economy.kif 1517-1522 | 1 对于 %3 在周期 %2 的 annual 地区消费 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 货币测量 是 地缘政治区域 在 annual 地区消费 在 那个 时间位置 holdsDuring |
(<=> (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (annualRevenuesOfArea ?AREA ?AMOUNT))))) |
Economy.kif 1488-1493 | 地缘政治区域 annual 对于 有点 时距 在周期 货币测量 的地区收入 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 annual 地区收入 在 那个 时间位置 holdsDuring |
(<=> (attribute ?H LiteracyAttribute) (and (hasSkill Reading ?H) (hasSkill Writing ?H))) |
Mid-level-ontology.kif 15027-15031 | 识字属性 是 施事体 的 attribute 若且唯若 那个 施事体 hasSkill 去做 朗读 和 那个 施事体 hasSkill 去做 写作 |
(<=> (attribute ?I (BeliefGroupMemberFn ?BG)) (member ?I ?BG)) |
People.kif 676-678 | 信仰团体 的 member 是 客体 的 attribute 若且唯若 那个 客体 是 那个 信仰团体 的 member |
(<=> (attribute ?INDIVIDUAL Agnostic) (member ?INDIVIDUAL Agnosticism)) |
People.kif 702-704 | 不可知 是 客体 的 attribute 若且唯若 那个 客体 是 不可知论 的 member |
(<=> (attribute ?INDIVIDUAL AhmadiyyaMuslim) (member ?INDIVIDUAL AhmadiyyaSect)) |
People.kif 1347-1349 | Ahmadiyya穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 ahmadiyya教派 的 member |
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL Anglicanism)) |
People.kif 1225-1227 | 英国国教 是 客体 的 attribute 若且唯若 那个 客体 是 英国国教 的 member |
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL ChurchOfEngland)) |
People.kif 1233-1235 | 英国国教 是 客体 的 attribute 若且唯若 那个 客体 是 英格兰教堂 的 member |
(<=> (attribute ?INDIVIDUAL Atheist) (member ?INDIVIDUAL Atheism)) |
People.kif 720-722 | 无神论者 是 客体 的 attribute 若且唯若 那个 客体 是 无神论 的 member |
(<=> (attribute ?INDIVIDUAL Bahai) (member ?INDIVIDUAL Bahaism)) |
People.kif 757-759 | 巴哈 是 客体 的 attribute 若且唯若 那个 客体 是 巴哈主义 的 member |
(<=> (attribute ?INDIVIDUAL Buddhist) (member ?INDIVIDUAL Buddhism)) |
People.kif 769-771 | 佛教徒 是 客体 的 attribute 若且唯若 那个 客体 是 佛教 的 member |
(<=> (attribute ?INDIVIDUAL Confucianist) (member ?INDIVIDUAL Confucianism)) |
People.kif 1306-1308 | 儒 是 客体 的 attribute 若且唯若 那个 客体 是 儒 的 member |
(<=> (attribute ?INDIVIDUAL DruzeMuslim) (member ?INDIVIDUAL DruzeSect)) |
People.kif 1361-1363 | 德鲁兹穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 德鲁兹教派 的 member |
(<=> (attribute ?INDIVIDUAL EasternOrthodoxChristian) (member ?INDIVIDUAL EasternOrthodoxChristianity)) |
People.kif 1247-1249 | 东正教基督教 是 客体 的 attribute 若且唯若 那个 客体 是 东正教基督教 的 member |
(<=> (attribute ?INDIVIDUAL Hindu) (member ?INDIVIDUAL Hinduism)) |
People.kif 1318-1320 | 印度教 是 客体 的 attribute 若且唯若 那个 客体 是 印度教 的 member |
(<=> (attribute ?INDIVIDUAL Jain) (member ?INDIVIDUAL Jainism)) |
People.kif 1411-1413 | 耆那教 是 客体 的 attribute 若且唯若 那个 客体 是 耆那教 的 member |
(<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam)) |
People.kif 1330-1332 | 穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 伊斯兰教 的 member |
(<=> (attribute ?INDIVIDUAL Neopaganismist) (member ?INDIVIDUAL Neopaganism)) |
People.kif 1457-1459 | Neopaganismist 是 客体 的 attribute 若且唯若 那个 客体 是 neopaganism 的 member |
(<=> (attribute ?INDIVIDUAL Protestant) (member ?INDIVIDUAL Protestantism)) |
People.kif 1261-1263 | 新教 是 客体 的 attribute 若且唯若 那个 客体 是 新教 的 member |
(<=> (attribute ?INDIVIDUAL ReligiousJew) (member ?INDIVIDUAL Judaism)) |
People.kif 1428-1430 | 宗教的犹太人 是 客体 的 attribute 若且唯若 那个 客体 是 犹太教 的 member |
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicChurch)) |
People.kif 1283-1285 | 罗马天主教徒 是 客体 的 attribute 若且唯若 那个 客体 是 罗马天主教会 的 member |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |